Consistance d’arc par MDD-réduction

Dans cet article, nous présentons MDDR, un nouvel algorithme de révision de contraintes définies sous forme de diagramme de décision multi-valué (MDD). En réalisant des copies partielles à la volée des MDD modifiés au cours de la recherche, MDDR parvient à une meilleure incrémentalité que MDDC proposé par Cheng & Yap en 2010 [2]. La meilleure incrémentalité, couplée à la nouvelle possibilité d’exploiter les informations sur les variables modifiées permet d’éviter de parcourir systématiquement toute la structure de données à chaque filtrage, et ce malgré l’utilisation d’une file de propagation à gros grain. Outre ses performances sur les contraintes définies sous forme de MDD, MDDR est presque aussi performant que l’état de l’art STR2 de Ullmann et Lecoutre [12, 7] sur les contraintes table non structurées, définies sous forme de liste d’affectations autorisées.